61. Algorithm engineering : 5th International Workshop, WAE 2001, Aarhus, Denmark, August 28-21, 2001 : proceedings
پدیدآورنده : Gerth Stolting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2141
62. Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 2000 : proceedings
پدیدآورنده : Stefan Naher, Dorothea Wagner )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1982
63. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,شبکههای کامپیوتری -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
64. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
65. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
66. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
67. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
68. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
پدیدآورنده : Hakan Erdogmus, Tao Weng )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
69. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
پدیدآورنده : Xavier Franch, Dan Port )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3412
70. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
71. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
72. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
73. Cots-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings
پدیدآورنده : Rick Kazman, Dan Port )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2959
74. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگرهها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
75. Digital Information Processing and Communications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Electronic data processing -- Congresses,Computer networks -- Congresses,نرمافزار -- مهندسی -- کنگرهها ,دادهپردازی -- کنگرهها,شبکههای کامپیوتری -- کنگرهها
رده :
E-Book
,
76. Engineering Secure Software and Systems
پدیدآورنده : \ [edited by] Frank Piessens, Juan Caballero, Nataliia Bielova.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer security -- Congresses.,Software engineering -- Congresses.,Data encryption (Computer science) -- Congresses.,کامپیوترها -- ایمنی اطلاعات -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها ,رمزگذاری دادهها -- کنگرهها
رده :
QA
76
.
9
.
E5
2015
E-Book
,
77. Engineering Societies in the AgentsWorld II
پدیدآورنده : \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها,مهندسی -- انجمنها -- کنگره ها
رده :
E-Book
,
78. Engineering societies in the agents world II : Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001 : revised papers
پدیدآورنده : Andrea Omicini, Paolo Petta, Robert Tolksdorf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Societies, etc. -- Congresses ، Engineering,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2203
79. Engineering societies in the agents world III :third international workshop, ESAW 2002, Madrid, Spain, September 2002 : revised papers
پدیدآورنده : Paolo Petta, Robert Tolksdorf, Franco Zambonelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
2577
80. Engineering societies in the agents world IV : 4th international workshops, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers
پدیدآورنده : Andrea Omicini, Paolo Petta, Jeremy Pitt )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
3071